]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef75412) | patch
windowManager: Handle missing overrides settings
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 3 Jul 2015 20:11:24 +0000 (22:11 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 3 Jul 2015 20:25:29 +0000 (22:25 +0200)
commitdfc4cc4aafd1ca3dd52573418ca1303a2dcb8cf0
treeae7db4a1f4024acd163398edff8cf64b039c4ce1tree | snapshot
parentef7541291b34f3ab3a795a747565f434ec412360commit | diff
windowManager: Handle missing overrides settings

shell_global_get_overrides_settings() may return %NULL in case of
custom shell modes (i.e. not the default and classic ones); while
this is not officially encouraged, we should still handle it rather
than throw an error.

https://bugzilla.gnome.org/show_bug.cgi?id=751921
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.